A Note on Formal Discipline

A Note on Formal Iterated Function Systems

A Note on Formal Constructions of Sequential Conditional Couplings

We discuss a formal mathematical framework for certain coupling constructions via minorisation conditions, which are often used to prove bounds on convergence to stationarity of stochastic processes and MCMC algorithms.

A note on domain representability and formal topology

Two common approaches to constructive and effective topology are connected by showing that formal topologies have canonical representation in terms of Scott domains. Moreover a map lifting theorem for the representation is proved. MSC 2000 classification: 54A05, 03D45, 03F65.

Formal Ontology - A New Discipline Between Philosophy, Formal Logic, and Artificial Intelligence

Research in ontology has in recent years become widespread in the field of information systems, in various areas of sciences, in business, in economy, and in industry. The importance of ontologies is increasingly recognized in fields diverse as in e-commerce, semantic web, enterprise, information integration, library and information science, qualitative modeling of physical systems, natural lan...

On Becoming a Discipline

General rights Copyright for the publications made accessible via the Edinburgh Research Explorer is retained by the author(s) and / or other copyright owners and it is a condition of accessing these publications that users recognise and abide by the legal requirements associated with these rights. Take down policy The University of Edinburgh has made every reasonable effort to ensure that Edin...